b :: [Int]
b =
  1
    : do
      2
    : do
      3
    : do
      [4]
